School of Computer Studies Research Report Series Modelling the Semantics of Human-computer Systems
نویسنده
چکیده
The understanding and development of computer-based information systems relies upon the extensive use of models of human cognition, computer systems and social activity. The development of a range of models in each of these areas represents considerable progress in explaining how information and communication technologies (ICTs) can be used to develop complex systems to support organizations. The fragmented nature of current understanding, however, limits the extent to which approaches to systems development can be improved. Applying many models to different elements of design, for example, does not guarantee that the elements, when combined, will function as an effective system. The framework presented here enables an integrated approach to be taken to modeling and developing human-computer systems. The framework is of both practical and academic interest, serving as an aid to design and addressing the substantive theoretical issues involved in reconciling current perspectives.
منابع مشابه
Switching fuzzy modelling and control scheme using T-S fuzzy systems with nonlinear consequent parts
This paper extends the idea of switching T-S fuzzy systems with linear consequent parts to nonlinear ones. Each nonlinear subsystem is exactly represented by a T-S fuzzy system with Lure’ type consequent parts, which allows to model and control wider classes of switching systems and also reduce the computation burden of control synthesis. With the use of a switching fuzzy Lyapunov function, the...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملEmpirical Study of Nova Scotia Nurses’ Adoption of Healthcare Information Systems: Implications for Management and Policy-Making
Background This paper used the Theory of Planned Behavior (TPB), which was extended, to investigate nurses’ adoption of healthcare information systems (HIS) in Nova Scotia, Canada. Methods Data was collected from 197 nurses in a survey and data analysis was carried out using the partial least squares (PLS) technique. Results In contrast to findings in prior studies that used TPB to investig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998